cot(sin^1(√1-x^2))=sin(tan^-1(x√6))